Basis(void) Basis(Basis& b) Basis& operator=(Basis& b) void debug_out(ostream& c, int indent)
Standard housekeeping functions.